REF, NoConds
MaAuto == MaAuto 

latex

Up	Tactics as terms
FDL editor aliases	-ma